61. Computability theory
پدیدآورنده : Cooper, S. B. )S. Barry(
موضوع : ، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
62. Computability theory
Author: Cooper, S. Barry, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
C66C6
63. Computability theory
Author: Cooper, S. B.S. Barry(
Library: Central Library and Documentation Center (Semnan)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
C68
2004
64. Computability theory /
Author: Rebecca Weber
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
6
.
W43
2012
65. Computability theory: an introduction
Author: )by( Neil D. Jones,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Turing machines,Computable functions
Classification :
QA
.
J66
248
.
5
66. Computability theory and its applications: current trends and open problems: proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computable functions
Classification :
QA
9
.
59
.
C66
1999
67. Computability theory : concepts and applications
Author: Dunne, Paul E
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions , Recursion theory , Turing machines
Classification :
QA
9
.
59
.
D85
68. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
69. Computability & unsolvability
Author: DAVIS,MARTIN DAVID
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
Classification :
QA
9
.
615
.
D38
70. Computability with pascal
Author: Mallozzi, John s.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
Classification :
QA
9
.
59
.
M34
1984
71. Computable analysis
Author: / by Klaus Weihrauch
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursion theory,Mathematical analysis
Classification :
QA9
.
59
.
W46
2000
72. Computable analysis : an introduction
Author: Weihrauch, Klaus, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursion theory,، Mathematical analysis
Classification :
QA
9
.
59
.
W44C6
73. Computable analysis: an introduction
Author: Weihrauch, K. )Klaus(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Recursion theory,، Mathematical analysis
Classification :
QA
9
.
59
.
W46
2000
74. Computable functions
Author: Vereshchagin, Nikolai Konstantinovich, 8591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
V47V913
75. Computable functions /
Author: A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions
Classification :
QA9
.
59
.
V4713
2003
76. Computable set theory
Author: Cantone, Domenico
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Computable functions
Classification :
QA
248
.
C26C6
77. Computable structures and the hyperarithmetical hierarchy
Author: / C.J. Ash, J. Knight
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions.
Classification :
QA
,
9
.
59
,.
A84
,
2000
78. Computable structures and the hyperarithmetical hierarchy
Author: / C.J. Ash, J. Knight
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions
Classification :
E-BOOK
79. Computable structures and the hyperarithmetical hierarchy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions. ;
80. Computation and automata
Author: Salomaa, Arto
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Computational complexity,، Sequential machine theory
Classification :
QA
9
.
59
.
S25
1985
